Padon, Oded: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Paxos made EPR: decidable reasoning about distributed protocols

Padon, Oded, Losa, Giuliano, Sagiv, Mooly, Shoham, Sharon

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 1.22 MB

english, 2017

2

[ACM Press the 39th ACM SIGPLAN Conference - Philadelphia, PA, USA (2018.06.18-2018.06.22)] Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 - Modularity for decidability of deductive verification with applications to distributed systems

Taube, Marcelo, Losa, Giuliano, McMillan, Kenneth L., Padon, Oded, Sagiv, Mooly, Shoham, Sharon, Wilcox, James R., Woos, Doug

Year:

2018

Language:

english

File:

PDF, 401 KB

english, 2018

3

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Decentralizing SDN Policies

Padon, Oded, Immerman, Neil, Karbyshev, Aleksandr, Lahav, Ori, Sagiv, Mooly, Shoham, Sharon

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

4

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Deductive Verification of Distributed Protocols in First-Order Logic

Year:

2018

File:

PDF, 6 KB

2018

5

Decentralizing SDN Policies

Padon, Oded, Immerman, Neil, Karbyshev, Aleksandr, Lahav, Ori, Sagiv, Mooly, Shoham, Sharon

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

6

Non-hydrostatic effects in the Dead Sea

Padon, Oded, Ashkenazy, Yosef

Journal:

Journal of Marine Systems

Year:

2018

Language:

english

File:

PDF, 22.94 MB

english, 2018

7

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Deductive Verification of Distributed Protocols in First-Order Logic

Year:

2018

File:

PDF, 6 KB

2018

8

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

Padon, Oded, Hoenicke, Jochen, McMillan, Kenneth L., Podelski, Andreas, Sagiv, Mooly, Shoham, Sharon

Year:

2018

Language:

english

File:

PDF, 365 KB

english, 2018

9

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Semantic program alignment for equivalence checking

Churchill, Berkeley, Padon, Oded, Sharma, Rahul, Aiken, Alex

Year:

2019

Language:

english

File:

PDF, 344 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски